26 research outputs found

    Assignment Decision Diagram for High-Level Synthesis

    No full text
    In the past, the research on representation for synthesis systems had been focusing on two main issues, the completeness and the efficiency. There is, however, another important issue that is not addressed by most of traditional representations, the uniqueness. This report proposes a representation for synthesis called the Assignment Decision Diagram (ADD) that is complete, efficient and partially unique. In addition, the ADD also furnishes many synthesis tasks with information that can simplify the tasks, and can enrich the results of the synthesis. Discussion of ADD's properties and its uses in synthesis is provided in this report. Contents 1 Introduction 5 2 Assignment Decision Diagrams (ADD) 6 3 Representing behavior and structure information in the Assignment Decision Diagrams 10 3.1 Representing behavior information in the ADD : : : : : : : : : : : : : : : : : : 10 3.1.1 Variable type : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 3.1.2 Assignment con..
    corecore